match () with
| [| 1 |] -> ()
